echo helloworld
function terminalTitle(){
    echo $*
    if [ -z "$ORIG" ]; then
        ORIG=$PS1
    fi
    TITLE="\[\e]2;$*\a\]"
    PS1=${ORIG}${TITLE}
}